open Fr

let _ =
	let r = ref 0 in
	let f = lift1 (fun _ -> incr r) in
	for i = 1 to 10000000 do
		ignore (register_b (f (snd (new_cell i))));
	done;
	print_int !r
